Algebra and Logic

Article
Kahle,R;Studer,T
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING

2001
49
44958
41640
10.1016/s1567-8326(01)00006-6