edited by R. Demolombe and T. Imielinski

Clarendon Press , Oxford University Press 1994 Studies in logic and computation 3 , Oxford science publications

: hbk

Available at 11 libraries