Journal | Authors
A roadmap to decidability
2015
João RasgaCristina SernadasAmílcar Sernadas
in: The road to universal logic I, Basel : Birkhäuser
