Mathematical aspects of logic programming semantics. (©2011) - Unknown
No abstract available