%0 Conference Paper %1 conf/caap/CurienG90 %A Curien, Pierre-Louis %A Ghelli, Giorgio %B CAAP %D 1990 %E Arnold, André %I Springer %K dblp %P 132-146 %T Coherence of Subsumption. %U http://dblp.uni-trier.de/db/conf/caap/caap90.html#CurienG90 %V 431 %@ 3-540-52590-4

@inproceedings{conf/caap/CurienG90, added-at = {2017-05-19T00:00:00.000+0200}, author = {Curien, Pierre-Louis and Ghelli, Giorgio}, biburl = {https://www.bibsonomy.org/bibtex/23d9fe2e8311d355a67b626d70601f13d/dblp}, booktitle = {CAAP}, crossref = {conf/caap/1990}, editor = {Arnold, André}, ee = {https://doi.org/10.1007/3-540-52590-4_45}, interhash = {f572f6c07ae32ead882d67207b1068cf}, intrahash = {3d9fe2e8311d355a67b626d70601f13d}, isbn = {3-540-52590-4}, keywords = {dblp}, pages = {132-146}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:17:20.000+0200}, title = {Coherence of Subsumption.}, url = {http://dblp.uni-trier.de/db/conf/caap/caap90.html#CurienG90}, volume = 431, year = 1990 }