Open rleiva opened 2 years ago
Do no use shortlex ordering for the definition of perfect conditional descriptions
Do no use shortlex ordering for the definition of perfect conditional descriptions