of Edinburgh. To appear in the proceedings of Computer Science Logic (1994)

by University LFCS