"On the relationship between CWA, minimal model, and minimal herbrand model ..."

Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski (1990)

Details and statistics

DOI: 10.1002/INT.4550050507

access: closed

type: Journal Article

metadata version: 2022-10-02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics