Two-variable Logic with a Between Relation
Krebs, Andreas ; Lodaya, Kamal ; Pandya, Paritosh ; Straubing, Howard
Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.106-115ACM
Texto completo disponível
Texto completo disponível