@ARTICLE{socher91b,
AUTHOR = {Socher-Ambrosius, Rolf},
TITLE = {Optimizing the Clausal Normal Form Transformation},
JOURNAL = {Journal of Automated Reasoning},
PUBLISHER = {Kluwer},
YEAR = {1991},
NUMBER = {3},
VOLUME = {7},
PAGES = {325--336},
ISBN = {0168-7433},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Uwe Brahm | Created
01/14/1995 06:52:36 PM |
Revisions
4.
3.
2.
1.
0. | Editor(s)
Christine Kiesel
Uwe Brahm
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE | Edit Dates
30.08.2001 10:14:25
16/03/97 00:45:05
21/01/95 20:55:31
17/01/95 20:10:58
14/01/95 19:00:53 |