decidability

Schmidt 2010


declaration

Burnard 1991


document type

Burnard 1991


DTD

Burnard 1991, Vanhoutte 1998, Vanhoutte 2004