The structure of differential invariants and differential cut elimination

@techreport{Platzer11:diffcut,
	ref = {DBLP:journals/lmcs/Platzer12},
	author = {['André Platzer']},
	title = {The Structure of Differential Invariants and
               Differential Cut Elimination},
	number = {CMU-CS-11-112},
	year = {2011},
	month = {},
	institution = {School of Computer Science,
               Carnegie Mellon University},
	address = {Pittsburgh, PA},
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2011/CMU-CS-11-112.pdf}
}