Z-mathc: An Inference Rule for Incrementally Elaborating Set Istantiations

Authors
S.C.Bailin,D.Barker-Plummer
Citation
S.c.bailin,d.barker-plummer, Z-mathc: An Inference Rule for Incrementally Elaborating Set Istantiations, Journal of automated reasoning , 11(3), 1993, pp. 391-428
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
11
Issue
3
Year of publication
1993
Pages
391 - 428
Database
ACNP
SICI code