Lingzhong Zhao Tianlong Gu Junyan Qian Guoyong Cai A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. 105-121 2007 conf/aplas/2007 APLAS http://dx.doi.org/10.1007/978-3-540-76637-7_8 db/conf/aplas/aplas2007.html#ZhaoGQC07