@phdthesis{basesearch-151,
  title = {Verification Support for Object Database Design},
  author = {David Spelt},
  year = {1999},
  url = {https://www.base-search.net/Record/3e3b936df1b0bf908bed2cfeb199d58f2cc143ed16aaee755d680748a4b3caf9},
  note = {base-search.net (ftunivtwente:oai:doc.utwente.nl:17908)},
  researchr = {https://researchr.org/publication/basesearch-151},
  cites = {0},
  citedby = {0},
  school = {University of Twente, Enschede, Netherlands},
}