CT-1995-03: Krzysztof Apt, Ingrid Luitjes Verification of Logic Programs with Delay Declarations 1.Full Text, 2.Abstract. < Back
