Choice Construct and Lindström Logics
1999 ◽
pp. 105-125