Title: Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94 Kiev, Ukraine, July 16-22, 1994