A Pragmatic Approach to Pre-testing Prolog Programs.

Christoph Beierle Marija Kulas Manfred Widera A Pragmatic Approach to Pre-testing Prolog Programs. 294-308 http://dx.doi.org/10.1007/11415763_20 2004 conf/wlp/2004 INAP/WLP db/conf/wlp/wlp2004.html#BeierleKW04