1
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) / 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings [E-Book] /