@InProceedings{AntoyBrassel07PPDP,
  title =	"Computing with Subspaces",
  author =	"Sergio Antoy and Bernd Bra\ss{}el",
  booktitle =	"Proceedings of the 9th International {ACM} {SIGPLAN}
		 Conference on Principles and Practice of Declarative
		 Programming",
  publisher = {ACM},
  year = 	"2007",
  editor =	"Michael Leuschel and Andreas Podelski",
  pages =	"121--30",
}