Errata: Z-match: An Inference Rule for Incrementally Elaborating Set Istantiations (J.Automated Reasoning 11,391;428,1993)

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