@book
{TN_libero_mab2,
author = {
Käufl, Thomas
},
title = {
Simplification and decision of systems of linear inequalities over the integers
},
publisher = {},
year = {1988},
booktitle = {Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 88,9},
address = {
Karlsruhe
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}