Kevin Steer Testing Data Flow Diagrams with PARLOG. 96-110 1988 ICLP/SLP db/conf/iclp/iclp88.html#Steer88