=Volume=
{{Volume
|number=418
|storemode=property
|wikidataid=Q113545722
|title=The LPAR 2008 Workshops: KEAPPA and IWIL 2008: Knowledge Exchange: Automated Provers and Proof Assistants The 7th International Workshop on the Implementation of Logics
|acronym=KEAPPA
|url=http://ceur-ws.org/Vol-418/
|date=2008-11-17
|dblp=conf/lpar/2008w
|urn=urn:nbn:de:0074-1155-8
}}