Cited By
View all- Pientka B(2006)Overcoming performance barriersProceedings of the 22nd international conference on Logic Programming10.1007/11799573_3(3-10)Online publication date: 17-Aug-2006
- Pfenning F(2001)Logical frameworksHandbook of automated reasoning10.5555/778522.778526(1063-1147)Online publication date: 1-Jan-2001