%0 Journal Article %1 journals/igpl/Ayala-RinconK01 %A Ayala-Rincón, Mauricio %A Kamareddine, Fairouz %D 2001 %J Logic Journal of the IGPL %K %N 4 %P 489-523 %T Unification via the lambda se-Style of Explicit Substitutions. %U http://dblp.uni-trier.de/db/journals/igpl/igpl9.html#Ayala-RinconK01 %V 9

@article{journals/igpl/Ayala-RinconK01, added-at = {2023-12-14T14:56:27.000+0100}, author = {Ayala-Rincón, Mauricio and Kamareddine, Fairouz}, biburl = {https://www.bibsonomy.org/bibtex/25b417f3afe6685fc7bd36af6955d72f1/admin}, ee = {http://dx.doi.org/10.1093/jigpal/9.4.489}, interhash = {e5291ec2b3d055f330c37b05da0205d7}, intrahash = {5b417f3afe6685fc7bd36af6955d72f1}, journal = {Logic Journal of the IGPL}, keywords = {}, number = 4, pages = {489-523}, timestamp = {2023-12-14T14:56:27.000+0100}, title = {Unification via the lambda se-Style of Explicit Substitutions.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl9.html#Ayala-RinconK01}, volume = 9, year = 2001 }