Unification With Simple Variable Restrictions and Admissibility of Π2-Rules.

Rodrigo Nicolau Almeida, Silvio Ghilardi

Browse the full AiML paper archive.