"Equivalences of Logic Programs"

Michael J. Maher (1988)

Details and statistics

DOI: 10.1016/B978-0-934613-40-8.50020-8

access: closed

type: Part in Book or Collection

metadata version: 2019-06-27

a service of  Schloss Dagstuhl - Leibniz Center for Informatics