@conference{Gramm00a,
author = "J. Gramm and R. Niedermeier",
address = "Rome, Italy",
booktitle = "Proceedings of the 4th Italian Conference on
                   Algorithms and Complexity",
editor = " G. Bongiovanni and G. Gambosi and R. Petreschi",
month = "mar",
pages = "174--186",
publisher = "Springer",
series = "LNCS",
title = "{F}aster exact solutions for {M}ax2{S}at",
volume = "1767",
year = "2000",
}