?

Published in: Arch. Math. Log. (1991)