Quantifiers and Congruence Closure
Jörg Flum, Matthias Schiehlen and Jouko VäänänenVolume:
62
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/20016051
Date:
May, 1999
File:
PDF, 2.18 MB
english, 1999