, 0).

Published in: Math. Log. Q. (2005)