An order-sorted resolution in theory and practice

Autor:	Weibel, Trudy
Zdroj:	In Theoretical Computer Science 1997 185(2):393-410
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect