Standard Completeness for Extensions of MTL: An Automated Approach.

Paolo Baldi, Agata Ciabattoni, Lara Spendier

Browse the full WoLLIC paper archive.