Chandrabose Aravindan DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover. 19-23 1996 conf/ki/1996 KI db/conf/ki/ki96.html#Aravindan96