Author: Thomas Zeugmann*
Source: Annals of Mathematics and Artificial Intelligence
Vol. 23, No. 1-2,
1998, 117–145, (Special Issue for ALT'94 and AII'94).
This work has been supported by the Grant-in-Aid
for Scientific Research (C) from the Japan Ministry of Education, Science,
Sports, and Culture under Grant No. 07680403.
©Copyright 1998 Baltzer Science Publishers