Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice.

Martin BrainMarina De Vos
Published in: Answer Set Programming (2003)