@inproceedings{Szeider02-informal,
 author = {Stefan Szeider},
 booktitle = {Proceedings of the Fifth International 
Symposium on the Theory and Applications of
Satisfiability Testing (SAT 2002) 
Cincinnati, Ohio, USA, May 6-9, 2002},
 editor = {John Franco},
 month = {5},
 pages = {292-307},
 title = {Generalizations of matched {C}{N}{F} formulas},
 year = {2002}
}