Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling.

Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus

Browse the full ESOP paper archive.