2001. Semantics and termination of simplymoded logic programs with dynamic scheduling (2001)

by A Bossi, S Etalle, S Rossi, J-G Smaus
Venue:Proceedings of the European Symposium on Programming, volume 2028 of Lecture Notes in Computer Science