Optimizing minimal Herbrand model generation procedures

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the Workshop on Model Computation - Principles, Algorithms, Applications
Subtitle of host publication	MODEL 2003
Pages	79-90
Number of pages	12
Volume	19
Publication status	Published - 2003

Cite this

@inproceedings{4b40e23cdbda4a518ad5256690fc8cdb,

title = "Optimizing minimal Herbrand model generation procedures",

author = "Lilia Georgieva and P Baumgartner and C Fermueller",

year = "2003",

language = "English",

volume = "19",

pages = "79--90",

booktitle = "Proceedings of the Workshop on Model Computation - Principles, Algorithms, Applications",

}