A Decision Method for First-Order Stream Logic.

Harald Ruess

Browse the full IJCAR paper archive.