@article{DMTCS_2005_special_251_a2,
     author = {Nour, Karim and Saber, Khelifa},
     title = {The call-by-value \ensuremath{\lambda}{\textmu}\ensuremath{\wedge}\ensuremath{\vee}-calculus},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05)},
     year = {2005},
     doi = {10.46298/dmtcs.3470},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3470/}
}