On 2-QBF Truth Testing in Parallel. - Bengt Aspvall; Christos Levcopoulos; Andrzej Lingas; Robert Storlind (Inf. Process. Lett., 1996)