Sylvain Schmitz. Modular Syntax Demands Verification. Technical Report I3S/RR-2006-32-FR, Laboratoire {I3S}, Universit{\'e} de Nice-Sophia Antipolis, France, oct 2006.
@techreport{Schmitz06-0,
title = {Modular Syntax Demands Verification},
author = {Sylvain Schmitz},
year = {2006},
month = {oct},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/schmitz-RR0632.pdf},
researchr = {https://researchr.org/publication/Schmitz06-0},
cites = {0},
citedby = {0},
institution = {Laboratoire {I3S}, Universit{\'e} de Nice-Sophia Antipolis, France},
number = {I3S/RR-2006-32-FR},
}