"A new variant of the A-algorithm which closes a node at most once."

Sukhamay Kundu (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics