Uros Pompe Efficient Proof Encoding. 299-314 1996 conf/ilp/1996 Inductive Logic Programming Workshop db/conf/ilp/ilp96.html#Pompe96