| |
# of records = 15
homepages/65/4780 conf/owled/KnechtelHD08 journals/iandc/BaaderHP08 conf/dlog/BaaderHP07 conf/dlog/HladikP06 conf/dlog/Hladik05 conf/dlog/HladikM04 conf/cade/Hladik04 conf/wspi/Hladik04 conf/cade/HladikS03 conf/dlog/Hladik03 conf/lpar/BaaderHLW03 journals/fuin/BaaderHLW03 conf/tableaux/Hladik02 conf/dlog/Hladik00
Copyright © 2009-12-24 by Michael Ley (ley@uni-trier.de)