@inproceedings{,
	author          = {Marijn J.H. Heule and Hans van Maaren},
	title           = {Aligning CNF- and Equivalence- Reasoning},
	booktitle       = {SAT 2004},
	publisher       = {Springer},
	year            = {2005},
	editor          = {Holger H. Hoos and David G. Mitchell},
	volume          = {3542},
	series          = {Lecture Notes in Computer Science},
	pages           = {145--156},
	isbn            = {ISBN 3-540-27829-X},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/35420145.pdf},
	project         = {SAT},
	group           = {ALG}
}