Veri of logic programs with delay declarations (1995)

by K R Apt, I Luitjes
Venue:Proceedings of the Fourth International Conference on Algebraic Methodology and Software Technology, (AMAST'95), Lecture Notes in Computer Science