arXiv 2001-01-23 EN Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling Bossi, Annalisa · Etalle, Sandro · Rossi, Sabina · Smaus, Jan-Georg
