@inproceedings{AntoyBrassel07PPDP,
 author = {Sergio Antoy and Bernd Bra\ssel},
 title = {Computing with subspaces},
 booktitle = {PPDP '07: Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming},
 year = {2007},
 isbn = {978-1-59593-769-8},
 pages = {121--130},
 location = {Wroclaw, Poland},
 doi = {http://doi.acm.org/10.1145/1273920.1273936},
 publisher = {ACM},
 address = {New York, NY, USA},
 }