Stefan Wölfl, Till Mossakowski, Lutz Schröder. Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. In David Wilson, Geoff Sutcliffe, editors, Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Florida, USA. pages 665, AAAI Press, 2007.
@inproceedings{WolflMS07,
title = {Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables},
author = {Stefan Wölfl and Till Mossakowski and Lutz Schröder},
year = {2007},
tags = {composition, constraints},
researchr = {https://researchr.org/publication/WolflMS07},
cites = {0},
citedby = {0},
pages = {665},
booktitle = {Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Florida, USA},
editor = {David Wilson and Geoff Sutcliffe},
publisher = {AAAI Press},
isbn = {978-1-57735-319-5},
}