@inproceedings{GMA07WoLLIC,        
author = "Andr{\'{e}} Galdino and C{\'{e}}sar Mu{\~{n}}oz and Mauricio Ayala",        
title = "Formal Verification of an Optimal Air
Traffic Conflict Resolution and Recovery Algorithm",        
booktitle = "Proceedings of the 14th Workshop on Logic, Language, 
Information and Computation",
address = "Rio de Janeiro, Brazil",
volume = "4576",
editor="D. Leivant and R. de Queiroz",
series          = "Lecture Notes in Computer Science",
publisher       = "Springer-Verlag",
pages = "177--188",
month="July",
year = "2007"
}