@ARTICLE{BachmairGanzinger-98-jacm,
AUTHOR = {Bachmair, Leo and Ganzinger, Harald},
TITLE = {Ordered Chaining Calculi for First-Order Theories of Transitive Relations},
JOURNAL = {Journal of the ACM},
YEAR = {1998},
NUMBER = {6},
VOLUME = {45},
PAGES = {1007--1049},
MONTH = {November},
ISBN = {0004-5411},
NOTE = {Revised Version of MPI-I-95-2-009.},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Christine Kiesel | Created
03/29/1999 04:46:05 PM |
Revisions
8.
7.
6.
5.
4. | Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Harald Ganzinger
Harald Ganzinger | Edit Dates
27/01/2000 18:30:44
27/01/2000 18:24:49
27/01/2000 18:12:59
20/04/99 10:55:13
20/04/99 10:54:37 |