2009
2007
2006
2005
2004
2003
- MetaPRL - A Modular Logical EnvironmentJason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu. tphol 2003: 287-303 [doi]
2002
2000
1999
1998
1994