%0 Journal Article %1 journals/igpl/AvelarGMA14 %A Avelar, Andréia Borges %A Galdino, André Luiz %A de Moura, Flávio Leonardo Cavalcanti %A Ayala-Rincón, Mauricio %D 2014 %J Log. J. IGPL %K %N 5 %P 758-789 %T First-order unification in the PVS proof assistant. %U http://dblp.uni-trier.de/db/journals/igpl/igpl22.html#AvelarGMA14 %V 22

@article{journals/igpl/AvelarGMA14, added-at = {2023-12-13T00:38:08.000+0100}, author = {Avelar, Andréia Borges and Galdino, André Luiz and de Moura, Flávio Leonardo Cavalcanti and Ayala-Rincón, Mauricio}, biburl = {https://www.bibsonomy.org/bibtex/23a4cb29adf45fb94411904f4e85fe01e/admin}, ee = {https://www.wikidata.org/entity/Q58001385}, interhash = {66319d07914dba8fd194358890e720a9}, intrahash = {3a4cb29adf45fb94411904f4e85fe01e}, journal = {Log. J. IGPL}, keywords = {}, number = 5, pages = {758-789}, timestamp = {2023-12-13T00:38:08.000+0100}, title = {First-order unification in the PVS proof assistant.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl22.html#AvelarGMA14}, volume = 22, year = 2014 }