=Volume=
{{Volume
|number=212
|storemode=property
|wikidataid=Q113546001
|title=The 6th International Workshop on the Implementation of Logics
|acronym=The 6th International Workshop on the Implementation of Logics
|url=http://ceur-ws.org/Vol-212/
|date=2006-11-07
|urn=urn:nbn:de:0074-1155-8
}}