Termination of logic programs with imper
✍
C.V. Damásio; J. Medina; M. Ojeda-Aciego
📂
Article
📅
2007
🏛
Elsevier Science
🌐
English
⚖ 310 KB