Techn. rep. LFCS-93-277. Also available as Aarhus Univ. DAIMI (1993)

by of Edinburgh
Venue:Journ. Pure & Appl. Algebra