References

1. doi:10.1016/s1570-2464(07)80017-6.
2. doi:10.1007/s11225-006-9009-6.
3. doi:10.1093/jigpal/6.4.625.
4. doi:10.1093/jigpal/7.1.27.
5. doi:10.1017/CBO9781107050884.
6. doi:10.1109/LICS.2019.8785675.
7. doi:10.1007/BF01054038.
8. doi:10.1093/logcom/11.5.737.
9. doi:10.23638/LMCS-13(4:28)2017.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org