Books by International Conference on Formal and Applied Practical Reasoning (1996 Bonn, Germany) on BookTides.