Cited By
View all- Momigliano AOrnaghi M(2010)Proof-theoretic and higher-order extensions of logic programmingA 25-year perspective on logic programming10.5555/1880413.1880426(254-270)Online publication date: 1-Jan-2010
- Schmidt-Schauβ MSchulz K(2005)Decidability of bounded higher-order unificationJournal of Symbolic Computation10.1016/j.jsc.2005.01.00540:2(905-954)Online publication date: 1-Aug-2005
- Pfenning F(2001)Logical frameworksHandbook of automated reasoning10.5555/778522.778526(1063-1147)Online publication date: 1-Jan-2001
- Show More Cited By