Unification in Łukasiewicz Logic with a Finite Number of Variables.

Marco Abbadini, Federica Di Stefano, Luca Spada

Browse the full IPMU paper archive.