A decision algorithm for linear sentences on a PFM

Lian Li, Huilin Li, Yixun Liu
1993 Annals of Pure and Applied Logic  
Li, L., H. Li and Y. Liu, A decision algorithm for linear sentences on a PFM, Annals of Pure and Applied Logic 59 (1993) 273-286.
doi:10.1016/0168-0072(93)90097-w fatcat:acbwkcgzzfelrhpxpvcq2ozbri