@ARTICLE{Ganzinger-Stuber-ic-05,
AUTHOR = {Ganzinger, Harald and Stuber, J{\"u}rgen},
TITLE = {Superposition with equivalence reasoning and delayed clause normal form transformation},
JOURNAL = {Information and Computation},
PUBLISHER = {Elsevier},
YEAR = {2005},
NUMBER = {1-2},
VOLUME = {199},
PAGES = {3--23},
ADDRESS = {Amsterdam, The Netherlands},
}
Entry last modified by Christine Kiesel, 01/28/2008
Edit History (please click the blue arrow to see the details)
| Editor(s)
Viorica Sofronie-Stokkermans | Created
05/19/2005 12:37:26 PM |
Revisions
5.
4.
3.
2.
1. | Editor(s)
Christine Kiesel
Christine Kiesel
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans | Edit Dates
25.04.2006 20:23:02
21.12.2005 10:34:00
09/21/2005 11:47:06 AM
09/21/2005 11:45:00 AM
05/19/2005 12:38:44 PM |