@article{pub1883,
author = {
Mossakowski, Till
and
Autexier, Serge
and
Hutter, Dieter
},
title = {Development Graphs -- Proof Management for Structured Specifications},
year = {2006},
volume = {67},
number = {1--2},
pages = {114--145},
journal = {Journal of Logic and Algebraic Programming (JLAP)},
note = {ISSN: 1567-8326}
}