Modular Construction of Ground Logic Programs using LPCAT (2010)
  • BOOKTITLE:
  • the 3rd International Workshop on Logic and Search
[BibTex]