Q. Feng

• Proceedings of the Sixth Asian Logic Conference