Beckmann, A., & Preining, N. (2017). Deciding logics of linear Kripke frames with scattered end pieces. Soft Computing, 21(1), pp. 191-197. doi:10.1007/s00500-016-2400-y

Beckmann, Arnold, and Norbert Preining. "Deciding Logics of Linear Kripke Frames With Scattered End Pieces." Soft Computing 21, no. 1 (2017): 191-197.

Beckmann, Arnold, and Norbert Preining. "Deciding Logics of Linear Kripke Frames With Scattered End Pieces." Soft Computing 21.1 (2017): 191-197.