author = {Tudor Jebelean and Gabor Kusper},
title = {{SAT Solving Experiments in Multi-Domain Logic}},
booktitle = {{ICAI 2001}},
language = {english},
volume = {I},
pages = {95--105},
address = {Eger, Hungary},
isbn_issn = {0},
year = {2011},
editor = {Emod Kovacs},
refereed = {yes},
length = {11}