Constraint-based correctness proofs for logic program transformations
scientific article; zbMATH DE number 6148339
scientific article