@ARTICLE{Waldmann2002aJSC,
AUTHOR = {Waldmann, Uwe},
TITLE = {Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving ({Part I})},
JOURNAL = {Journal of Symbolic Computation},
PUBLISHER = {Elsevier},
YEAR = {2002},
NUMBER = {6},
VOLUME = {33},
PAGES = {777--829},
ADDRESS = {Amsterdam, the Netherlands},
MONTH = {June},
ISBN = {0747-7171},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Uwe Waldmann | Created
01/14/2003 05:36:24 PM |
Revisions
7.
6.
5.
4.
3. | Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Uwe Brahm
Uwe Brahm | Edit Dates
29.07.2003 18:38:02
07.07.2003 15:43:48
07.07.2003 15:41:57
06/09/2003 01:57:43 AM
05/19/2003 01:28:42 PM |