Semantics and termination of simply-moded logic programs with dynamic scheduling (2001)

by A Bossi, S Etalle, S Rossi, J-G Smaus
Venue:Proceedings of the European Symposium on Programming, LNCS