@proceedings{SARA:2000,
TITLE = {{Abstraction, Reformulation and Approximation: Proceedings
of the 4th International Symposium, SARA 2000}},
EDITOR = {Berthe Y. Choueiry and Toby Walsh},
PUBLISHER = {Lecture Notes in Artificial Intelligence, Vol. 1864, 
Springer Verlag},
ADDRESS = {Horseshoe Bay, Texas, USA},
MONTH = jul,
YEAR = 2000,
ISBN = {3-540-67839-5},
NOTE = {}}