@ARTICLE{Wuliu1998,
AUTHOR = {Wu, Jinzhao and Liu, Zhuojun},
TITLE = {Well-Behaved Inference Rules for First-Order Theorem Proving},
JOURNAL = {Journal of Automated Reasoning},
PUBLISHER = {Kluwer},
YEAR = {1998},
NUMBER = {3},
VOLUME = {21},
PAGES = {381--400},
MONTH = {September},
ISBN = {0168-7433},
}
Entry last modified by Uwe Brahm, 03/12/2010