@article{ALS07,
author
= "R. Axelsson and M. Lange and R. Somla",
title
= "The {C}omplexity of {M}odel {C}hecking {H}igher-{O}rder {F}ixpoint {L}ogic",
journal
= "Logical Methods in Computer Science",
volume
= "3",
number
= "2:7",
year
= "2007",
pages
= "1--33",
}


@inproceedings{AL07,
author
= "R. Axelsson and M. Lange",
title
= "{M}odel {C}hecking the {F}irst-{O}rder {F}ragment of {H}igher-{O}rder {F}ixpoint {L}ogic",
booktitle
= "Proc.\ 14th Int.\ Conf.\ on Logic for Programming, Artificial Intelligence, and Reasoning, {LPAR'07}",
editor
= "N. Dershowitz and A. Voronkov",
address
= "Yerevan, Armenia",
publisher
= "Springer",
series
= "LNCS",
volume
= "4790",
pages
= "62--76",
year
= "2007",
}


@article{AHL08,
author
= "R. Axelsson and M. Lange and K. Heljanko",
title
= "Analyzing {C}ontext-{F}ree {G}rammars {U}sing an {I}ncremental {SAT} {S}olver",
booktitle
= "Proc.\ 35th Int. Coll. on Automata, Languages and Programming, {ICALP'08}",
editor
= "Luca Aceto and Ivan Damg{\aa}rd and Leslie Ann Goldberg and Magn{\'u}s M. Halld{\'o}rsson and Anna Ing{\'o}lfsd{\'o}ttir and Igor Walukiewicz",
address
= "Reykjavik, Iceland",
publisher
= "Springer",
series
= "LNCS",
volume
= "5126",
year
= "2008",
pages
= "410--422",
}