Report copyright - Adimen-SUMO: Reengineering an Ontology for First … · in (Andréka, Németi, & van Benthem, 1998), where the au- thors prove that the satisfiability problem for GF is decidable
Please pass captcha verification before submit form
Please pass captcha verification before submit form