@InProceedings{CS03,
    Author       = "Claessen, K. and S{\"o}rensson, N.",
    Year         = "2003",
    Title        = "{New Techniques that Improve MACE-style Finite Model Finding}",
    Editor       = "Baumgartner, P. and Fermueller, C.",
    BookTitle    = "{Proceedings of the CADE-19 Workshop: Model Computation - Principles, 
                    Algorithms, Applications}",
    Place        = "Miami, USA",
    Comment      = ""
}