"A note on first-order reasoning for minimum models."

David E. Rydeheard, Jesús Héctor Domínguez Sánchez (2014)

Details and statistics

DOI: 10.29007/5BVP

access: open

type: Part in Book or Collection

metadata version: 2021-08-15

a service of  Schloss Dagstuhl - Leibniz Center for Informatics