Brun Normal Forms for Co-atomic Lukasiewicz Logics.

Stefano Aguzzoli, Ottavio M. D'Antona, Vincenzo Marra

Browse the full ECSQARU paper archive.