@ARTICLE{lepl:94b,
AUTHOR = {Lee, Shie-Jue and Plaisted, David A.},
TITLE = {Use of replace rules in theorem proving},
JOURNAL = {Methods of Logic in Computer Science},
YEAR = {1994},
VOLUME = {1},
PAGES = {217--240},
}
Entry last modified by Uwe Brahm/MPII/DE, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Christine Kiesel | Created
02/10/1995 09:09:39 AM |
Revisions
4.
3.
2.
1.
0. | Editor(s)
Uwe Brahm/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE | Edit Dates
17/02/95 15:14:07
16/02/95 11:41:00
13/02/95 15:22:24
10/02/95 13:34:47
10/02/95 09:18:07 |