Logic Information Systems for Logic Programmers.

Olivier Ridoux Logic Information Systems for Logic Programmers. 3-19 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2916&spage=3 2003 conf/iclp/2003 ICLP db/conf/iclp/iclp2003.html#Ridoux03