@InProceedings{iclp/DassevilleHBJD16,
  author ={Ingmar Dasseville and Matthias van der Hallen and Bart Bogaerts and Gerda Janssens and Marc Denecker},
  title ={A Compositional Typed Higher-Order Logic with Definitions},
  pages     = "14.1--14.14",
  doi       = "10.4230/OASIcs.ICLP.2016.14",
  url       = {http://dx.doi.org/10.4230/OASIcs.ICLP.2016.14},
  crossref  = {iclp/2016}
}

@proceedings{iclp/2016,
  editor    = "Carro, Manuel and King, Andy and De Vos, Marina and Saeedloei, Neda",
  title     = "Technical Communications of the 32nd International Conference on Logic Programming (ICLP'16)",
  booktitle = "ICLP'16",
  series    = "OASIcs",
  volume    = 52,
  publisher = "Schloss Dagstuhl",
  month     = nov,
  year      = 2016,
  doi       = "10.4230/OASIcs.ICLP.2016",
}