Basin - Automated Reasoning Second International Joint Conference I - X555z

Fodor - Rules and Reasoning Third International Joint Conference Ru - X555z

Olivetti - Automated Reasoning 8th International Joint Conference I - X555z

Patern - Ambient Intelligence Third International Joint Conference - X555z

Traunmueller - Electronic Government Third International Conference - X555z

Krimmer - Electronic Voting Third International Joint Conference E- - X555z

Galmiche - Automated Reasoning 9th International Joint Conference I - X555z

Gramlich - Automated Reasoning 6th International Joint Conference I - X555z