Forward versus Backward Verification of Logic Programs.

Andy King Lunjin Lu Forward versus Backward Verification of Logic Programs. 315-330 http://dx.doi.org/10.1007/978-3-540-24599-5_22 2003 conf/iclp/2003 ICLP db/conf/iclp/iclp2003.html#KingL03