Cite
MLA Citation
Weitao Xu and Yang Xu. “Α-ordered linear resolution method for lattice-valued logic system based on lattice implication algebra.” International journal of applied management science, vol. 4, 2012, pp. 460–479. http://access.bl.uk/ark:/81055/vdc_100071130525.0x000003