Louxin Zhang - RankMe

139 papers A* 5B 10C 10Misc 9Journal 85Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Bounding the number of reticulation events for displaying multiple trees in a phylogenetic network. J. Comput. Syst. Sci. Yufeng Wu, Louxin Zhang
2025	—	`conf`	Exact Counts of Binary Phylogenetic Networks with Two and Three Reticulation Events (Extended Abstract). RECOMB-CG Hao Yu, Louxin Zhang
2025	J	`jnl`	HIG-Syn: a hypergraph and interaction-aware multigranularity network for predicting synergistic drug combinations. Bioinform. Yuexi Gu, Jian Zu, Yongheng Sun, Louxin Zhang
2025	J	`jnl`	On the Size of the Neighborhoods of a Word. IEEE Trans. Comput. Biol. Bioinform. Cédric Chauve, Louxin Zhang
2025	J	`jnl`	On the size of the neighborhoods of a word. CoRR Cédric Chauve, Louxin Zhang
2025	J	`jnl`	Simple k-RF Metrics for Comparison of Labeled DAGs. IEEE Trans. Comput. Biol. Bioinform. Elahe Khayatian, Louxin Zhang
2024	J	`jnl`	A Vector Representation for Phylogenetic Trees. CoRR Cédric Chauve, Caroline Colijn, Louxin Zhang
2024	J	`jnl`	Computing the Bounds of the Number of Reticulations in a Tree-Child Network That Displays a Set of Trees. J. Comput. Biol. Yufeng Wu, Louxin Zhang
2024	J	`jnl`	Hi-GeoMVP: a hierarchical geometry-enhanced deep learning model for drug response prediction. Bioinform. Yurui Chen, Louxin Zhang
2024	J	`jnl`	The J. Comput. Biol. Elahe Khayatian, Gabriel Valiente, Louxin Zhang
2024	J	`jnl`	The tree-child network inference problem for line trees and the shortest common supersequence problem for permutation strings. J. Comput. Syst. Sci. Laurent Bulteau, Louxin Zhang
2023	—	`conf`	Bounding the Number of Reticulations in a Tree-Child Network that Displays a Set of Trees. RECOMB-CG Yufeng Wu, Louxin Zhang
2023	—	`conf`	The K-Robinson Foulds Measures for Labeled Trees. RECOMB-CG Elahe Khayatian, Gabriel Valiente, Louxin Zhang
2022	J	`jnl`	Asymptotic enumeration and distributional properties of galled networks. J. Comb. Theory A Michael Fuchs, Guan-Ru Yu, Louxin Zhang
2022	J	`jnl`	How much can deep learning improve prediction of the responses to drugs in cancer cell lines? Briefings Bioinform. Yurui Chen, Louxin Zhang
2022	—	`conf`	The Sackin Index of Simplex Networks. RECOMB-CG Louxin Zhang
2021	J	`jnl`	A survey and systematic assessment of computational methods for drug response prediction. Briefings Bioinform. Jinyu Chen, Louxin Zhang
2021	J	`jnl`	Guest Editorial for the 17th Asia Pacific Bioinformatics Conference. IEEE ACM Trans. Comput. Biol. Bioinform. Louxin Zhang, Shaoliang Peng, Yi-Ping Phoebe Chen, David Sankoff, Guoliang Li, Hong-Yu Zhang
2021	J	`jnl`	Introduction to the Special Issue of the 18th Annual International RECOMB Satellite Workshop on Comparative Genomics. J. Bioinform. Comput. Biol. Rohan B. H. Williams, Louxin Zhang
2021	J	`jnl`	On the asymptotic growth of the number of tree-child networks. Eur. J. Comb. Michael Fuchs, Guan-Ru Yu, Louxin Zhang
2021	J	`jnl`	The Bourque distances for mutation trees of cancers. Algorithms Mol. Biol. Katharina Jahn, Niko Beerenwinkel, Louxin Zhang
2020	J	`jnl`	Counting and enumerating galled networks. Discret. Appl. Math. Andreas D. M. Gunawan, Rathin Jeyaram, Louxin Zhang
2020	J	`jnl`	Counting and enumerating tree-child networks and their subclasses. J. Comput. Syst. Sci. Gabriel Cardona, Louxin Zhang
2020	B	`conf`	Recent Progresses in the Combinatorial and Algorithmic Study of Rooted Phylogenetic Networks. WALCOM Louxin Zhang
2020	C	`conf`	The Bourque Distances for Mutation Trees of Cancers. WABI Katharina Jahn, Niko Beerenwinkel, Louxin Zhang
2019	J	`jnl`	Compression of Phylogenetic Networks and Algorithm for the Tree Containment Problem. J. Comput. Biol. Andreas D. M. Gunawan, Hongwei Yan, Louxin Zhang
2019	J	`jnl`	Generating Normal Networks via Leaf Insertion and Nearest Neighbor Interchange. CoRR Louxin Zhang
2019	J	`jnl`	Generating normal networks via leaf insertion and nearest neighbor interchange. BMC Bioinform. Louxin Zhang
2019	J	`jnl`	ZDOG: zooming in on dominating genes with mutations in cancer pathways. BMC Bioinform. Rudi Alberts, Jinyu Chen, Louxin Zhang
2018	J	`jnl`	Fast Methods for Solving the Cluster Containment Problem for Phylogenetic Networks. CoRR Andreas D. M. Gunawan, Bingxin Lu, Louxin Zhang
2018	J	`jnl`	Online buffer management for transmitting packets with processing cycles. Theor. Comput. Sci. Yi-Hua Yang, Chung-Shou Liao, Xin Han, Louxin Zhang
2018	J	`jnl`	RecPhyloXML: a format for reconciled gene trees. Bioinform. Wandrille Duchemin, Guillaume Gence, Anne-Muriel Arigon Chifolleau, Lars Arvestad, Mukul S. Bansal, Vincent Berry, Bastien Boussau, François Chevenet, Nicolas Comte, Adrián A. Davín, Christophe Dessimoz, David Dylus, Damir Hasic, Diego Mallo, Rémi Planel, David Posada, Céline Scornavacca, Gergely J. Szöllosi, Louxin Zhang, Eric Tannier, Vincent Daubin
2018	J	`jnl`	S-Cluster++: a fast program for solving the cluster containment problem for phylogenetic networks. Bioinform. Hongwei Yan, Andreas D. M. Gunawan, Louxin Zhang
2018	J	`jnl`	Solving the tree containment problem in linear time for nearly stable phylogenetic networks. Discret. Appl. Math. Philippe Gambette, Andreas D. M. Gunawan, Anthony Labarre, Stéphane Vialette, Louxin Zhang
2018	J	`jnl`	The compressions of reticulation-visible networks are tree-child. CoRR Andreas D. M. Gunawan, Hongwei Yan, Louxin Zhang
2017	J	`jnl`	A decomposition theorem and two algorithms for reticulation-visible networks. Inf. Comput. Andreas D. M. Gunawan, Bhaskar DasGupta, Louxin Zhang
2017	J	`jnl`	A program to compute the soft Robinson-Foulds distance between phylogenetic networks. BMC Genom. Bingxin Lu, Louxin Zhang, Hon Wai Leong
2017	J	`jnl`	Reconciliation With Nonbinary Gene Trees Revisited. J. ACM Yu Zheng, Louxin Zhang
2016	J	`jnl`	A program for verification of phylogenetic network models. Bioinform. Andreas D. M. Gunawan, Bingxin Lu, Louxin Zhang
2016	J	`jnl`	Locating a Phylogenetic Tree in a Reticulation-Visible Network in Quadratic Time. CoRR Andreas D. M. Gunawan, Bhaskar DasGupta, Louxin Zhang
2016	B	`conf`	Locating a Tree in a Reticulation-Visible Network in Cubic Time. RECOMB Andreas D. M. Gunawan, Bhaskar DasGupta, Louxin Zhang
2016	—	`ch.`	Nearest Neighbor Interchange and Related Distances. Encyclopedia of Algorithms Bhaskar DasGupta, Xin He, Ming Li, John Tromp, Louxin Zhang
2016	J	`jnl`	On Tree-Based Phylogenetic Networks. J. Comput. Biol. Louxin Zhang
2016	—	`ch.`	Superiority and Complexity of the Spaced Seeds. Encyclopedia of Algorithms Louxin Zhang
2015	J	`jnl`	Bounding the Size of a Network Defined By Visibility Property. CoRR Andreas D. M. Gunawan, Louxin Zhang
2015	B	`conf`	Locating a Tree in a Phylogenetic Network in Quadratic Time. RECOMB Philippe Gambette, Andreas D. M. Gunawan, Anthony Labarre, Stéphane Vialette, Louxin Zhang
2015	J	`jnl`	Locating a Tree in a Phylogenetic Network in Quadratic Time. CoRR Philippe Gambette, Andreas D. M. Gunawan, Anthony Labarre, Stéphane Vialette, Louxin Zhang
2015	C	`conf`	Solving the Tree Containment Problem for Genetically Stable Networks in Quadratic Time. IWOCA Philippe Gambette, Andreas D. M. Gunawan, Anthony Labarre, Stéphane Vialette, Louxin Zhang
2015	J	`jnl`	Stability Implies Computational Tractability: Locating a Tree in a Stable Network is Easy. CoRR Andreas D. M. Gunawan, Bhaskar DasGupta, Louxin Zhang
2014	J	`jnl`	Are the Duplication Cost and Robinson-Foulds Distance Equivalent? J. Comput. Biol. Yu Zheng, Louxin Zhang
2014	J	`jnl`	Effect of Incomplete Lineage SortingOn Tree-Reconciliation-Based Inferenceof Gene Duplication. IEEE ACM Trans. Comput. Biol. Bioinform. Yu Zheng, Louxin Zhang
2014	B	`conf`	Reconciliation with Non-binary Gene Trees Revisited. RECOMB Yu Zheng, Louxin Zhang
2013	C	`conf`	A Linear-Time Algorithm for Reconciliation of Non-binary Gene Tree and Binary Species Tree. COCOA Yu Zheng, Taoyang Wu, Louxin Zhang
2013	—	`conf`	A Tool for Non-binary Tree Reconciliation. ISBRA Yu Zheng, Louxin Zhang
2013	B	`conf`	Counting Motifs in the Entire Biological Network from Noisy and Incomplete Data - (Extended Abstract). RECOMB Ngoc Hieu Tran, Kwok Pui Choi, Louxin Zhang
2013	—	`conf`	Effect of Incomplete Lineage Sorting on Tree-Reconciliation-Based Inference of Gene Duplication. ISBRA Yu Zheng, Louxin Zhang
2013	J	`jnl`	Maximum Likelihood Inference of the Evolutionary History of a PPI Network from the Duplication History of Its Proteins. IEEE ACM Trans. Comput. Biol. Bioinform. Si Li, Kwok Pui Choi, Taoyang Wu, Louxin Zhang
2013	J	`jnl`	Motif Discovery with Data Mining in 3D protein Structure Databases: Discovery, Validation and Prediction of the U-Shape zinc binding ("Huf-zinc") Motif. J. Bioinform. Comput. Biol. Sebastian Maurer-Stroh, He Gao, Hao Han, Lies Baeten, Joost Schymkowitz, Frederic Rousseau, Louxin Zhang, Frank Eisenhaber
2012	—	`conf`	Alignment seeding strategies using contiguous pyrimidine purine matches. BCB Minmei Hou, Louxin Zhang, Robert S. Harris
2012	J	`jnl`	Approximating the Spanning k-Tree forest Problem. Int. J. Found. Comput. Sci. Chung-Shou Liao, Louxin Zhang
2012	—	`conf`	Reconstruction of Network Evolutionary History from Extant Network Topology and Duplication History. ISBRA Si Li, Kwok Pui Choi, Taoyang Wu, Louxin Zhang
2012	J	`jnl`	Two combinatorial optimization problems for SNP discovery using base-specific cleavage and mass spectrometry. BMC Syst. Biol. Xin Chen, Qiong Wu, Ruimin Sun, Louxin Zhang
2011	—	`conf`	A Polynomial Algebra Method for Computing Exemplar Breakpoint Distance. ISBRA Bin Fu, Louxin Zhang
2011	J	`jnl`	Efficient estimation of the accuracy of the maximum likelihood method for ancestral state reconstruction. J. Comb. Optim. Bin Ma, Louxin Zhang
2011	J	`jnl`	From Gene Trees to Species Trees II: Species Tree Inference by Minimizing Deep Coalescence Events. IEEE ACM Trans. Comput. Biol. Bioinform. Louxin Zhang
2011	—	`conf`	Network model and efficient method for detecting relative duplications or horizontal gene transfers. ICCABS Louxin Zhang, Yen Kaow Ng, Taoyang Wu, Yu Zheng
2011	J	`jnl`	Structural properties of the reconciliation space and their applications in enumerating nearly-optimal reconciliations between a gene tree and a species tree. BMC Bioinform. Taoyang Wu, Louxin Zhang
2010	C	`conf`	An Efficient Method for DNA-Based Species Assignment via Gene Tree and Species Tree Reconciliation. WABI Louxin Zhang, Yun Cui
2010	J	`jnl`	CAGE: Combinatorial Analysis of Gene-Cluster Evolution. J. Comput. Biol. Giltae Song, Louxin Zhang, Tomás Vinar, Webb Miller
2009	Misc	`conf`	Approximating the Spanning k-Tree Forest Problem. FAW Chung-Shou Liao, Louxin Zhang
2009	—	`conf`	Inferring the Recent Duplication History of a Gene Cluster. RECOMB-CG Giltae Song, Louxin Zhang, Tomás Vinar, Webb Miller
2009	—	`book`	Sequence Comparison - Theory and Methods Kun-Mao Chao, Louxin Zhang
2008	J	`jnl`	A PTAS For The Algorithms Shuai Cheng Li, Yen Kaow Ng, Louxin Zhang
2008	Misc	`conf`	A PTAS for the k-Consensus Structures Problem Under Euclidean Squared Distance. FAW Shuai Cheng Li, Yen Kaow Ng, Louxin Zhang
2008	J	`jnl`	Approximating the Spanning Star Forest Problem and Its Application to Genomic Sequence Alignment. SIAM J. Comput. C. Thach Nguyen, Jian Shen, Minmei Hou, Li Sheng, Webb Miller, Louxin Zhang
2008	J	`jnl`	DUPCAR: Reconstructing Contiguous Ancestral Regions with Duplications. J. Comput. Biol. Jian Ma, Aakrosh Ratan, Brian J. Raney, Bernard B. Suh, Louxin Zhang, Webb Miller, David Haussler
2008	—	`ch.`	Nearest Neighbor Interchange and Related Distances. Encyclopedia of Algorithms Bhaskar DasGupta, Xin He, Tao Jiang, Ming Li, John Tromp, Louxin Zhang
2008	J	`jnl`	Run Probabilities of Seed-Like Patterns and Identifying Good Transition Seeds. J. Comput. Biol. Jialiang Yang, Louxin Zhang
2008	B	`conf`	Run Probability of High-Order Seed Patterns and its Applications to Finding Good Transition Seeds. APBC Jialiang Yang, Louxin Zhang
2008	J	`jnl`	Spectrum-Based J. Comput. Biol. Huy Hoang Do, Kwok Pui Choi, Franco P. Preparata, Wing-Kin Sung, Louxin Zhang
2007	—	`conf`	A Heuristic Algorithm for Reconstructing Ancestral Gene Orders with Duplications. RECOMB-CG Jian Ma, Aakrosh Ratan, Louxin Zhang, Webb Miller, David Haussler
2007	C	`conf`	A Robust Method for Generating Discriminative Gene Clusters. BIBE Min Xu, Louxin Zhang, Pei Li Joe Zhou
2007	J	`jnl`	Algorithmic and Complexity Issues of Three Clustering Methods in Microarray Data Analysis. Algorithmica Jinsong Tan, Kok Seng Chua, Louxin Zhang, Song Zhu
2007	A*	`conf`	Approximating the spanning star forest problem and its applications to genomic sequence alignment. SODA C. Thach Nguyen, Jian Shen, Minmei Hou, Li Sheng, Webb Miller, Louxin Zhang
2007	J	`jnl`	Reconstructing Recombination Network from Sequence Data: The Small Parsimony Problem. IEEE ACM Trans. Comput. Biol. Bioinform. C. Thach Nguyen, Nguyen Bao Nguyen, Wing-Kin Sung, Louxin Zhang
2007	—	`conf`	Selecting Genomes for Reconstruction of Ancestral Genomes. RECOMB-CG Guoliang Li, Jian Ma, Louxin Zhang
2007	J	`jnl`	Superiority of Spaced Seeds for Homology Search. IEEE ACM Trans. Comput. Biol. Bioinform. Louxin Zhang
2007	J	`jnl`	The Consecutive Ones Submatrix Problem for Sparse Matrices. Algorithmica Jinsong Tan, Louxin Zhang
2006	C	`conf`	Controlling Size When Aligning Multiple Genomic Sequences with Duplications. WABI Minmei Hou, Piotr Berman, Louxin Zhang, Webb Miller
2006	J	`jnl`	Models and Methods in Comparative Genomics. Adv. Comput. Guillaume Bourque, Louxin Zhang
2006	C	`conf`	Procrastination Leads to Efficient Filtration for Local Multiple Alignment. WABI Aaron E. Darling, Todd J. Treangen, Louxin Zhang, Carla Kuiken, Xavier Messeguer, Nicole T. Perna
2006	A*	`conf`	Superiority and complexity of the spaced seeds. SODA Ming Li, Bin Ma, Louxin Zhang
2005	Misc	`conf`	Algorithmic and Complexity Issues of Three Clustering Methods in Microarray Data Analysis. COCOON Jinsong Tan, Kok Seng Chua, Louxin Zhang
2005	J	`jnl`	Divide-and-conquer approach for the exemplar breakpoint distance. Bioinform. C. Thach Nguyen, Y. C. Tay, Louxin Zhang
2005	J	`jnl`	Quick, Practical Selection of Effective Seeds for Homology Search. J. Comput. Biol. Franco P. Preparata, Louxin Zhang, Kwok Pui Choi
2005	J	`jnl`	Translation Initiation Sites Prediction with Mixture Gaussian Models in Human cDNA Sequences. IEEE Trans. Knowl. Data Eng. Guoliang Li, Tze-Yun Leong, Louxin Zhang
2004	B	`conf`	Approximation Algorithms for the Consecutive Ones Submatrix Problem on Sparse Matrices. ISAAC Jinsong Tan, Louxin Zhang
2004	J	`jnl`	Computing And Combinatorics Conference -- Cocoon'02. Int. J. Found. Comput. Sci. Oscar H. Ibarra, Louxin Zhang
2004	C	`conf`	Good Spaced Seeds For Homology Search. BIBE Kwok Pui Choi, Fanfan Zeng, Louxin Zhang
2004	J	`jnl`	Good spaced seeds for homology search. Bioinform. Kwok Pui Choi, Fanfan Zeng, Louxin Zhang
2004	J	`jnl`	Sensitivity analysis and efficient method for identifying optimal spaced seeds. J. Comput. Syst. Sci. Kwok Pui Choi, Louxin Zhang
2004	C	`conf`	Translation Initiation Sites Prediction with Mixture Gaussian Models. WABI Guoliang Li, Tze-Yun Leong, Louxin Zhang
2003	J	`jnl`	Distinguishing string selection problems. Inf. Comput. J. Kevin Lanctôt, Ming Li, Bin Ma, Shaojiu Wang, Louxin Zhang
2003	J	`jnl`	Greedy method for inferring tandem duplication history. Bioinform. Louxin Zhang, Bin Ma, Lusheng Wang, Ying Xu
2002	—	`conf`	A New Clustering Method for Microarray Data Analysis. CSB Louxin Zhang, Song Zhu
2002	Misc	`ed.`	Computing and Combinatorics, 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002, Proceedings COCOON Oscar H. Ibarra, Louxin Zhang
2002	C	`conf`	Efficient Methods for Inferring Tandem Duplication History. WABI Louxin Zhang, Bin Ma, Lusheng Wang
2001	J	`jnl`	Cladogramer: incorporating haplotype frequency into cladogram analysis. Bioinform. Louxin Zhang, Chew-Kiat Heng, Tin Wee Tan
2001	B	`conf`	Complexity Study on Two Clustering Problems. ISAAC Louxin Zhang, Song Zhu
2001	J	`jnl`	Perfect Phylogenetic Networks with Recombination. J. Comput. Biol. Lusheng Wang, Kaizhong Zhang, Louxin Zhang
2001	Misc	`conf`	Perfect phylogenetic networks with recombination. SAC Lusheng Wang, Kaizhong Zhang, Louxin Zhang
2000	J	`jnl`	From Gene Trees to Species Trees. SIAM J. Comput. Bin Ma, Ming Li, Louxin Zhang
2000	J	`jnl`	Separating Auxiliary Arity Hierarchy of First-Order Incremental Evaluation Systems Using (3k+1)-ary Input Relations. Int. J. Found. Comput. Sci. Guozhu Dong, Louxin Zhang
1999	A*	`conf`	Distinguishing String Selection Problems. SODA J. Kevin Lanctôt, Ming Li, Bin Ma, Shaojiu Wang, Louxin Zhang
1999	J	`jnl`	Fitting Distances by Tree Metrics with Increment Error. J. Comb. Optim. Bin Ma, Lusheng Wang, Louxin Zhang
1999	—	`conf`	On computing the nearest neighbor interchange distance. Discrete Mathematical Problems with Medical Applications Bhaskar DasGupta, Xin He, Tao Jiang, Ming Li, John Tromp, Louxin Zhang
1999	J	`jnl`	Optimal Bounds for Matching Routing on Trees. SIAM J. Discret. Math. Louxin Zhang
1999	J	`jnl`	Twist-Rotation Transformations of Binary Trees and Arithmetic Expressions. J. Algorithms Ming Li, Louxin Zhang
1999	J	`jnl`	WebPHYLIP: a web interface to PHYLIP. Bioinform. Allison Lim, Louxin Zhang
1998	—	`conf`	A Protein Patent Query System Powered By Kleisli. SIGMOD Conference Jing Chen, Limsoon Wong, Louxin Zhang
1998	J	`jnl`	Addition in log Theor. Comput. Sci. Richard Beigel, William I. Gasarch, Ming Li, Louxin Zhang
1998	Misc	`conf`	Better Approximation of Diagonal-Flip Transformation and Rotation Transformation. COCOON Ming Li, Louxin Zhang
1998	B	`conf`	On reconstructing species trees from gene trees in term of duplications and losses. RECOMB Bin Ma, Ming Li, Louxin Zhang
1997	Misc	`conf`	Many-to-One Packed Routing via Matchings. COCOON Danny Krizanc, Louxin Zhang
1997	A*	`conf`	On Distances between Phylogenetic Trees (Extended Abstract). SODA Bhaskar DasGupta, Xin He, Tao Jiang, Ming Li, John Tromp, Louxin Zhang
1997	J	`jnl`	On a Mirkin-Muchnik-Smith Conjecture for Comparing Molecular Phylogenies. J. Comput. Biol. Louxin Zhang
1997	A*	`conf`	Optimal Bounds for Matching Routing on Trees. SODA Louxin Zhang
1997	J	`jnl`	Small Weight Bases for Hamming Codes. Theor. Comput. Sci. John Tromp, Louxin Zhang, Ying Zhao
1996	J	`jnl`	Addition in log Electron. Colloquium Comput. Complex. Richard Beigel, William I. Gasarch, Ming Li, Louxin Zhang
1996	J	`jnl`	On the descriptive power of special Thue systems. Discret. Math. Louxin Zhang, Lian Li, Jinzhao Wu
1996	Misc	`conf`	Some Notes on the Nearest Neighbour Interchange Distance. COCOON Ming Li, John Tromp, Louxin Zhang
1995	J	`jnl`	On the Approximation of Longest Common Nonsupersequences and Shortest Common Nonsubsequences. Theor. Comput. Sci. Louxin Zhang
1995	B	`conf`	Routing on Trees via Matchings. WADS Alan Roberts, Antonios Symvonis, Louxin Zhang
1995	Misc	`conf`	Small Weight Bases for Hamming Codes. COCOON John Tromp, Louxin Zhang, Ying Zhao
1993	J	`jnl`	On Weakly Confluent Monadic String-Rewriting Systems. Theor. Comput. Sci. Klaus Madlener, Paliath Narendran, Friedrich Otto, Louxin Zhang
1992	J	`jnl`	On the Conjugacy Problem for One-Relator Monoids with Elements of Finite Order. Int. J. Algebra Comput. Louxin Zhang
1992	J	`jnl`	Some Properties of Finite Special String-Rewriting Systems. J. Symb. Comput. Louxin Zhang
1992	J	`jnl`	The Pre-NTS Property is Undecidable for Context-Free Grammars. Inf. Process. Lett. Louxin Zhang
1991	J	`jnl`	Decision Problems for Finite Special String-Rewriting Systems that are Confluent on Some Congruence Class. Acta Informatica Friedrich Otto, Louxin Zhang