@ARTICLE{Bachmair-et-al-95-ic,
AUTHOR = {Bachmair, Leo and Ganzinger, Harald and Lynch, Christopher and Snyder, Wayne},
TITLE = {Basic Paramodulation},
JOURNAL = {Information and Computation},
PUBLISHER = {Academic Press},
YEAR = {1995},
NUMBER = {2},
VOLUME = {121},
PAGES = {172--192},
ISBN = {0890-5401},
NOTE = {Revised version of TR MPI-I-93-236, 1993},
}
Entry last modified by Uwe Brahm, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Christine Kiesel | Created
01/04/1998 10:31:36 PM |
Revisions
3.
2.
1.
0.
| Editor(s)
Uwe Brahm
Christine Kiesel
Uwe Brahm/MPII/DE
Christine Kiesel/AG2/MPII/DE
| Edit Dates
07.01.97 02:52:53
06/01/97 16:19:31
20.03.96 18:34:40
01/02/96 12:27:49
|