@article{Szeider05,
 author = {Stefan Szeider},
 journal = {Ann. Math. Artif. Intell.},
 number = {1-4},
 pages = {223-238},
 title = {Generalizations of matched {C}{N}{F} formulas},
 url = {https://www.ac.tuwien.ac.at/files/pub/Szeider05.pdf},
 volume = {43},
 year = {2005}
}